The EATCS Award for the best theory paper at ETAPS 2026 was awarded to Isa Vialard, Joël Ouaknine and Quentin Guilmant for their paper "The value problem for weighted timed games with two clocks is undecidable", published in FoSSaCS 2026. The EATCS award is given each year to the best…
Der wissenschaftliche Direktor des MPI-SWS, Joël Ouaknine, wurde von der European Association for Theoretical Computer Science (EATCS) zum Fellow ernannt. Joël, der die Forschungsgruppe „Foundations of Algorithmic Verification“ leitet, wurde für „fundamental contributions to the algorithmic analysis of dynamical systems and related formalisms“ zum EATCS-Fellow ernannt. Das EATCS Fellows Program…
Die neue Graduiertenschule soll fortgeschrittene KI-Methoden für die Grundlagenforschung in den Lebenswissenschaften entwickeln. Der inhaltliche Fokus wird darauf liegen, das Verständnis biologischer Systeme zu vertiefen, indem moderne biomedizinische Technologien mit innovativen Ansätzen der künstlichen Intelligenz kombiniert werden. Ziel ist es, eine neue Generation von Wissenschaftlerinnen und Wissenschaftlern auszubilden, die Algorithmen…
Das Paper Tree Borrows (verfasst von Neven Villani, Johannes Hostert, Derek Dreyer und Ralf Jung) erhielt nicht nur einen Distinguished Paper Award auf der PLDI'25, sondern war im Jahr 2025 auch der am häufigsten heruntergeladene Artikel aus allen Ausgaben der gesamten PACMPL (der ACM-Fachzeitschrift, in der die Proceedings von POPL, PLDI,…
Forschende des Max-Planck-Instituts für Softwaresysteme (MPI-SWS) haben insgesamt fünf Paper verfasst, die für die POPL 2026 angenommen wurden. Dies ist das neunte Jahr in Folge, in dem Forschende des MPI-SWS fünf oder mehr Paper auf der POPL veröffentlichen. Herzlichen Glückwunsch an alle unsere POPL-Autor:innen! A Verified High-Performance Composable Object Library…
